@ARTICLE{Das_j1988_b, author = {J{\"u}rgen~Dassow}, title = {On the sequence equivalence problem for {OL} systems with controlled derivations}, journal = caai, year = 1988, volume = 7, number = {}, pages = {97--105} }